APIfix: output-oriented program synthesis for combating breaking changes in libraries
نویسندگان
چکیده
Use of third-party libraries is extremely common in application software. The evolve to accommodate new features or mitigate security vulnerabilities, thereby breaking the Application Programming Interface(API) used by Such changes may discourage client code from using library versions keeping vulnerable and not up-to-date. We propose a novel output-oriented program synthesis algorithm automate API usage adaptations via transformation. Our aim only rely on few example human clients old version version, since this can lead over-fitting transformation rules. Instead, we also usages updated clients, which provide valuable context for synthesizing applying tool APIFix provides an automated mechanism transform - achieving adaptation fix effect changes. evaluation shows that rules inferred achieve 98.7% precision 91.5% recall. By comparing our approach state-of-the-art approaches, show significantly reduces while adaptations.
منابع مشابه
Breaking the Spell: Combating Multidrug Resistant ‘Superbugs’
Multidrug-resistant (MDR) bacteria have become a severe threat to community wellbeing. Conventional antibiotics are getting progressively more ineffective as a consequence of resistance, making it imperative to realize improved antimicrobial options. In this review we emphasized the microorganisms primarily reported of being resistance, referred as ESKAPE pathogens (Enterococcus faecium, Staphy...
متن کاملProgram Synthesis and Transformations in an Object-oriented Environment Program Synthesis and Transformations in an Object-oriented Environment
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing t...
متن کاملBreaking Gridlock in Health Policy?; Comment on “A New Synthesis”
Pierre-Gerlier Forest has put forward the case that we are on the brink of a revolution in health policy that will be the result of the interplay of five factors. I would not challenge any of them but would emphasize the need to address socio-economic health inequalities, which have the potential to become a major cost driver in a time of growing economic inequality. To Dr. Forest’s list, I wou...
متن کاملFuture-oriented implications of the resilience theory for Iran public libraries
Target: In order to play their role in social developments, public libraries face technological changes and unknown issues that can affect their identity and mission .In reference to the application of novel approaches to reconceptualize the mission of public libraries, this study tries to employ resilience theory to craft a vision for the future of Iran public libraries. Method: This study u...
متن کاملAlgorithm-oriented Generic Libraries
We outline an approach to construction of software libraries in which generic algorithms algorithmic abstractions play a more central role than in con ventional software library technology or in the object oriented programming paradigm Our approach is to consider algorithms rst decide what types and access operations they need for e cient execution and regard the types and operations as formal ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on programming languages
سال: 2021
ISSN: ['2475-1421']
DOI: https://doi.org/10.1145/3485538